Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
401	« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-01 14:30:35 Applied mathematics Knowledge Abstract interpretation Software engineering Formal verification Software verification Software development process Computer science System Science Formal methods Patrick Cousot
402	Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-14 12:51:08 Contract law Patrick Cousot Abstract interpretation Computer arithmetic Printf format string Caron Implied warranty Floating point ALGOL 68 Software engineering Computing Computer programming
403	DOC Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-03 05:49:55 Logic in computer science Computer science Automated theorem proving Acorn Computers Formal verification Model checking Automated reasoning ARM architecture CPU design Formal methods Applied mathematics Theoretical computer science
404	Geosci. Model Dev., 4, 435–449, 2011 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:01:00 Computational science Partial differential equations Formal verification Logic in computer science Theoretical computer science Computer simulation Computational fluid dynamics Mathematical model Navier–Stokes equations Mathematics Science Applied mathematics
405	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
406	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
407	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
408	Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-09 11:49:11 Formal methods Central processing unit ARM architecture Logic in computer science Formal verification Theoretical computer science ARM7 Formal specification Microprocessor Electronic engineering Computer architecture Computer hardware
409	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
410	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages

UPDATE